<?php
require( dPgetConfig('root_dir') . '/modules/mantis/index.php' );
?>
